System generation

Results: 2997



#Item
911Software testing / Predicate transformer semantics / Program logic / Fuzz testing / X Window System / Function / KeY / Errors and residuals in statistics / Network Time Protocol / Statistics / Software / Mathematics

Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
912Hiking equipment / GPS navigation device / Global Positioning System / CompactFlash / Serial port / Parallel ATA / Universal Serial Bus / Technology / Computer hardware / GPS

REF TEK THIRD GENERATION BROADBAND SEISMIC RECORDER R SPECIFICATIONS Model

Add to Reading List

Source URL: www.reftek.com

Language: English - Date: 2014-07-25 11:07:27
913Document management system / Information technology management / Bupa / Portable Document Format / Fax / Technology / Computing / Computer hardware

a step ahead in document software Sanitas implements a unified platform for document generation with DocPath technology For the Sanitas Group, the main objectives of ICT is to transform the business with the intention o

Add to Reading List

Source URL: www.docpath.com

Language: English - Date: 2015-01-16 07:10:03
914Electric power / Smart grid / Computing / Wireless networking / IEEE standards / ANT / IEC 61850 / Smart meter / Ethernet / Technology / Wireless sensor network / Energy

Project Subjects Next-Generation Communication Network System Background and Objective Power system ICT (Information and Communication Technology) infrastructures indispensable in the next-generation grid have been well

Add to Reading List

Source URL: criepi.denken.or.jp

Language: English - Date: 2011-11-04 00:31:52
915Natural language processing / Open content / Named-entity recognition / Word-sense disambiguation / Wikipedia / Nintendo Entertainment System / Computational linguistics / Science / Linguistics

Automatic Generation of Fine-Grained Named Entity Classifications Aspasia Beneti Woiyl Hammoumi Eric Hielscher Martin M¨uller

Add to Reading List

Source URL: ifarm.nl

Language: English - Date: 2006-03-22 06:22:44
916Environment / Bioenergy / Ethanol fuel / Biomass / Sugar / Second generation biofuels / Lignocellulosic biomass / Cellulosic ethanol / Sugarcane / Biofuels / Sustainability / Energy

Project report: Cane2Fuel: Developing an optimised and sustainable sugarcane biomass input system for the production of second generation biofuels

Add to Reading List

Source URL: arena.gov.au

Language: English - Date: 2013-10-28 19:53:27
917Thermodynamics / Energy harvesting / Electricity / Heating /  ventilating /  and air conditioning / Thermoelectric effect / Thermal power station / Electricity generation / Thermopower / Waste heat / Energy / Energy conversion / Physics

Principal Research Results A Concept of 500 kWe Thermoelectric Power Conversion System to Make Use of Waste Heat of PWR Power Plant Background Conventional power plant adopts steam turbine generators. In case of light w

Add to Reading List

Source URL: criepi.denken.or.jp

Language: English - Date: 2008-09-29 03:20:05
918Single Payment Scheme / Land-parcel identification system / Geographic information system / Oracle Database / Quality assurance / Europe / European Union / Software / Integrated Administration and Control System

SITI Agri A new generation of Integrated Administration and Control System for subsidies management Farmer registry  Customisable Beneficiary Dossier

Add to Reading List

Source URL: www.abacogroup.com

Language: English - Date: 2012-12-04 11:59:36
919Regional transmission organization / Electricity market / Midwest Independent Transmission System Operator / Renewable Energy Certificate / Renewable energy / ISO RTO / Intermittent energy source / Electric power / Energy / Electric power distribution

U.S. Renewable Electricity: How Does Wind Generation Impact Competitive Power Markets

Add to Reading List

Source URL: www.fas.org

Language: English - Date: 2014-05-06 13:42:59
920C++ / Procedural programming languages / Data types / Type theory / Generic programming / Cyclone / X86 assembly language / Template / Type system / Software engineering / Computing / Computer programming

Certifying Compilation and Run-time Code Generation Luke Hornof Trevor Jim Computer and Information Science Department

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 1999-04-14 16:12:24
UPDATE